Book Review: Lehrbuch der Elementar-Geometrie. Erster Theil, Planimetrie

Lehrbuch der Biologischen Heilmittel

Kurzgefasstes Lehrbuch der Kinderheilkunde

Lehrbuch der Programmierung mit Java

class Element { abstract boolean gleich (Element zuvergleichen); static int id = 0; int Id; Element () { Id = id++; } } Prog. 7–6 Die abstrakte Klasse Element Lehrbuch der Programmierung mit Java, Echtle Goedicke, Heidelberg, © dpunkt 2000

Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten

Diese Arbeit ist in der Theoretischen Informatik positioniert, und zwar in den Fachgebieten Komplexitätstheorie, mathematische Logik und Datenbanktheorie. Die Arbeit beschäftigt sich mit der Ausdrucksstärke der Logik erster Stufe auf Strukturen mit eingebauten Prädikaten wie z.B. lineare Ordnung, Addition und Multiplikation. Die Hauptergebnisse lassen sich den drei Teilbereichen ” Arithmetik un...

Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)

Softwareintensive, eingebettete Systeme unterstützen den Menschen schon heute in vielen Bereichen des Lebens – sichtbar und unsichtbar. Beispielsweise verbessern sie im Automobil die Sicherheit, regulieren das Klima in Gebäuden oder steuern medizinische Geräte bis hin zu ganzen Industrieanlagen. Experten prognostizieren für die Zukunft eine rasante Zunahme softwareintensiver, eingebetteter Syst...